Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
A behavioural congruence for web services
2007-01-01 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
Bicriteria Data Compression: Efficient and Usable
2014-01-01 Farruggia, Andrea; Ferragina, Paolo; Venturini, Rossano
Characterizing Social Bots Spreading Financial Disinformation
2020-01-01 Tardelli, S; Avvenuti, M; Tesconi, M; Cresci, S
Compressed Cache-Oblivious String B-tree
2013-01-01 Ferragina, Paolo; Venturini, Rossano
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods
2014-01-01 Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni
Computing preimages and ancestors in reaction systems
2018-01-01 Barbuti, Roberto; Bernasconi, Anna; Gori, Roberta; Milazzo, Paolo
Constructing specific SOS semantics for concurrency via abstract interpretation
1998-01-01 Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado
Data-driven job dispatching in HPC systems
2018-01-01 Galleguillos, Cristian; Sirbu, Alina; Kiziltan, Zeynep; Babaoglu, Ozalp; Borghesi, Andrea; Bridi, Thomas
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers
2023-01-01 Gustafson, J. L.; Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.
An efficient verifier of truly concurrent properties
1995-01-01 Bianchi, Alessandro; Coluccini, Stefano; Degano, Pierpaolo; Priami, Corrado
Enhanced Operational Semantics in Systems Biology
2003-01-01 Degano, Pierpaolo; Priami, Corrado
Experimenting with a Context-Aware Language
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Exploiting Adjoints in Property Directed Reachability Analysis
2023-01-01 Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I.
Extending soft arc consistency algorithms to non-invertible semirings
2010-01-01 Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma; Santini, Francesco
Feedbacks and oscillations in the virtual cell VICE
2006-01-01 D., Chiarugi; M., Chinellato; Degano, Pierpaolo; G., LO BRUTTO; Marangoni, Roberto
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
2019-01-01 ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura
Gathering of Asynchronous Oblivious Robots With Limited Visibility
2001-01-01 Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter
Going beyond GDP to nowcast Well-Being using retail market data
2016-01-01 Guidotti, Riccardo; Coscia, Michele; Pedreschi, Dino; Pennacchioli, Diego
Helping your Docker images to spread based on explainable models
2019-01-01 Guidotti, Riccardo; Soldani, Jacopo; Neri, Davide; Brogi, Antonio; Pedreschi, Dino
A high-level model checking language with compile-time pruning of local variables
2016-01-01 Pardini, Giovanni; Milazzo, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A behavioural congruence for web services | 1-gen-2007 | Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio | |
| Bicriteria Data Compression: Efficient and Usable | 1-gen-2014 | Farruggia, Andrea; Ferragina, Paolo; Venturini, Rossano | |
| Characterizing Social Bots Spreading Financial Disinformation | 1-gen-2020 | Tardelli, S; Avvenuti, M; Tesconi, M; Cresci, S | |
| Compressed Cache-Oblivious String B-tree | 1-gen-2013 | Ferragina, Paolo; Venturini, Rossano | |
| A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods | 1-gen-2014 | Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni | |
| Computing preimages and ancestors in reaction systems | 1-gen-2018 | Barbuti, Roberto; Bernasconi, Anna; Gori, Roberta; Milazzo, Paolo | |
| Constructing specific SOS semantics for concurrency via abstract interpretation | 1-gen-1998 | Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado | |
| Data-driven job dispatching in HPC systems | 1-gen-2018 | Galleguillos, Cristian; Sirbu, Alina; Kiziltan, Zeynep; Babaoglu, Ozalp; Borghesi, Andrea; Bridi, Thomas | |
| Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers | 1-gen-2023 | Gustafson, J. L.; Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S. | |
| An efficient verifier of truly concurrent properties | 1-gen-1995 | Bianchi, Alessandro; Coluccini, Stefano; Degano, Pierpaolo; Priami, Corrado | |
| Enhanced Operational Semantics in Systems Biology | 1-gen-2003 | Degano, Pierpaolo; Priami, Corrado | |
| Experimenting with a Context-Aware Language | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Exploiting Adjoints in Property Directed Reachability Analysis | 1-gen-2023 | Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I. | |
| Extending soft arc consistency algorithms to non-invertible semirings | 1-gen-2010 | Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma; Santini, Francesco | |
| Feedbacks and oscillations in the virtual cell VICE | 1-gen-2006 | D., Chiarugi; M., Chinellato; Degano, Pierpaolo; G., LO BRUTTO; Marangoni, Roberto | |
| From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday | 1-gen-2019 | ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura | |
| Gathering of Asynchronous Oblivious Robots With Limited Visibility | 1-gen-2001 | Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter | |
| Going beyond GDP to nowcast Well-Being using retail market data | 1-gen-2016 | Guidotti, Riccardo; Coscia, Michele; Pedreschi, Dino; Pennacchioli, Diego | |
| Helping your Docker images to spread based on explainable models | 1-gen-2019 | Guidotti, Riccardo; Soldani, Jacopo; Neri, Davide; Brogi, Antonio; Pedreschi, Dino | |
| A high-level model checking language with compile-time pruning of local variables | 1-gen-2016 | Pardini, Giovanni; Milazzo, Paolo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile